A logic programming framework for modeling temporal objects

Published versio

The logic of unwitting collective agency

The paper is about the logic of expressions of the form `agent x brings it about that A is the case', or `agent x is responsible for its being the case that A', or `the actions of agent x are the cause of its being the case that A'. Agents could be deliberative (human or computer) agents, purely reactive agents, or simple computational devices. The `brings it about' modalities are intended to express unintentional, perhaps even accidental, consequences of an agent's actions, as well as possibly intentional (intended) ones. Since we make no assumptions at all about the reasoning or perceptual capabilities of the agents we refer to this form of agency as `unwitting'; unwitting can mean both inadvertent and unaware. The semantical framework is a form of labelled transition system extended with an extra component that picks out the actions of a particular agent in a transition, or its `strand' as we call it. We de ne a modal language for talking about the actions of individual agents or groups of agents in transitions, including two de ned modalities of the (unwitting) `brings it about' kind. The novel feature is the switch of attention from talking about an agent's bringing it about that a certain state of a airs exists to talking about an agent's bringing it about that a transition has a certain property. The middle part of the paper presents axiomatisations of the logic, and comments on relationships to other work, in particular on resemblances to P orn's (1977) logic of `brings it about'. The last part is concerned with characterisations of (unwitting) collective agency, that is, the logic of expressions of the form `the set G of agents, collectively though perhaps unwittingly, brings it about that A'

(C+)++: An action language for modelling norms and institutions

The language C+ of Giunchiglia, Lee, Lifschitz, McCain, and Turner (2004) is a formalism for specifying and reasoning about the e ects of actions and the persistence (`inertia') of facts over time. An `action description' in C+ is a set of C+ laws which de ne a labelled transition system of a certain kind. This document presents (C+)++, an extended form of C+ designed for representing norms of behaviour and institutional aspects of (human or computer) societies. There are two main extensions. The rst is a means of expressing `counts as' relations between actions, also referred to as `conventional generation' of actions. The second is a way of specifying the permitted (acceptable, legal) states of a transition system and its permitted (acceptable, legal) transitions

Using the event calculus for tracking the normative state of contracts

In this work, we have been principally concerned with the representation of contracts so that their normative state may be tracked in an automated fashion over their deployment lifetime. The normative state of a contract, at a particular time, is the aggregation of instances of normative relations that hold between contract parties at that time, plus the current values of contract variables. The effects of contract events on the normative state of a contract are specified using an XML formalisation of the Event Calculus, called ecXML. We use an example mail service agreement from the domain of web services to ground the discussion of our work. We give a characterisation of the agreement according to the normative concepts of: obligation, power and permission, and show how the ecXML representation may be used to track the state of the agreement, according to a narrative of contract events. We also give a description of a state tracking architecture, and a contract deployment tool, both of which have been implemented in the course of our work.

Computer support for protocol-based treatment of cancer

Cancer treatment is often carried out within protocol-based clinical trials. An oncology clinic may take part in many trials each of which requires data to be collected for monitoring efficacy and toxicity of treatment. Subsequently, this data is analysed statistically to evaluate clinical objectives of the trial. To be scientifically valid, such analysis must be based on data that is both complete and correct. This is one motivating factor for introducing computer support for trial management. Further motivation is provided by concern that treatment is consistent with the protocol and the well-being of the patient. The complexity of many protocols, the life-threatening nature of cancer and the toxicity of treatment side-effects emphasise the safety-critical nature of oncology. The OaSiS system provides decision support for the protocol-based treatment of cancer patients with emphasis on the safety aspects of the advice it gives. It offers a highly graphical interface, employs integrity constraint checking techniques from logic databases to monitor compliance with a protocol and is implemented in PROLOG. The paper describes the main features of OaSiS and indicates work in progress and planned. 1

Executable specication of open multi-agent systems

Multi-agent systems where the agents are developed by parties with competing interests, and where there is no access to an agent's internal state, are often classi ed as `open'. The members of such systems may inadvertently fail to, or even deliberately choose not to, conform to the system speci cation. Consequently, it is necessary to specify the normative relations that may exist between the members, such as permission, obligation, and institutional power. We present a framework being developed for executable speci cation of open multi-agent systems. We adopt a bird's eye view of these systems, as opposed to an agent's perspective whereby it reasons about how it should act. This paper is devoted to the presentation of various examples from the NetBill protocol formalised in terms of institutional power, permission and obligation. We express the system speci cation in the Event Calculus and execute the speci cation by means of a logic programming implementation. We also give several example formalisations of sanctions for dealing with violations of permissions and obligations. We distinguish between an open multi-agent system and the procedure by which an agent enters and leaves the system. We present examples from the speci cation of a role-management protocol for NetBill, and demonstrate the interplay between such a protocol and the corresponding multi-agent system

Logical properties of nonmonotonic causal theories and the action language C+

The formalism of nonmonotonic causal theories (Giunchiglia, Lee, Lifschitz, McCain, Turner, 2004) provides a general-purpose formalism for nonmonotonic reasoning and knowledge representation, as well as a higher level, special-purpose notation, the action language C+, for specifying and reasoning about the e ects of actions and the persistence (`inertia') of facts over time. In this paper we investigate some logical properties of these formalisms. There are two motivations. From the technical point of view, we seek to gain additional insights into the properties of the languages when viewed as a species of conditional logic. From the practical point of view, we are seeking to nd conditions under which two di erent causal theories, or two di erent action descriptions in C+, can be said to be equivalent, with the further aim of helping to decide between alternative formulations when constructing practical applications. A condensed version of this paper appeared as `Some logical properties of nonmonotonic causal theories', Proc. Eighth International Conference on Logic Programming and Non-Monotonic Reasoning, LNCS, Springer

Enhancing the utility of Proteomics Signature Profiling (PSP) with Pathway Derived Subnets (PDSs), performance analysis and specialised ontologies

10.1186/1471-2164-14-35BMC Genomics141BGME

Constraint rule-based programming of norms for electronic institutions

Peer reviewedPostprin